Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
نویسندگان
چکیده
منابع مشابه
Epistemic Equilibrium Logic
We add epistemic modal operators to the language of here-and-there logic and define epistemic hereand-there models. We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are ...
متن کاملMinimal Well-founded Semantics and Autoepistemic Circumscription
In this paper we propose the minimal well-founded semantics for logic programs with negation based on the xpoint of the double Gelfond-Lifschitz transformation which overcomes the existing problems associated with the stable, the well-founded, and the stable class semantics. By representing logic programs as autoepistemic theories, we are able to represent various semantics as simple circumscri...
متن کاملIntuitionistic Autoepistemic Logic
In this paper we propose intuitionistic logic as the minimal logic most suitable to define autoepistemic logic. We start from a formal analysis of the notion of consistency on an intuitionistic basis, via Gentzen’s sequent calculus. Then we show that the epistemic operator M interpreted as a consistency operator behaves coherently and is also an adequate interpretation of the intuitionistic con...
متن کاملProgramming in Autoepistemic Logic
We propose a language for programming in autoepistemic logic that extends the standard logic programming and incorporates incomplete information. By syntactically distinguishing the "true negation" from the "lack of information ," we also provide a way to define negative information explicitly. A fixpoint semantics can be defined for stratified and conservative programs. In this paper, we inves...
متن کاملPrioritized Autoepistemic Logic
An important problem in data and knowledge representation is the possibility of default rules that conflict. If the application of both of two default rules leads to a contradiction, they cannot both be applied. Systems that support the use of default rules may either remain indifferent or prioritize one rule over the other. In this paper a prioritized version of autoepistemic logic is presente...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2019
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068419000127